1. A companion to relativism
پدیدآورنده :
کتابخانه: کتابخانه دانشکدگان فارابی دانشگاه تهران (قم)
موضوع :
رده :
BD
221
.
C65
2011
2. A manual of intensional logic
پدیدآورنده : Benthem, Johan F. A. K. van, 9491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic
رده :
P
25
.
C28
No
.
1
3. Categorial grammar /
پدیدآورنده : edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Categorial grammar
رده :
P161
.
C38
1988
4. Categorial grammar
پدیدآورنده : edited by Wojech Buszkowski, witold Marciszewski, Johan van Benthem
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Categoria grammar
رده :
P
161
.
C38
1988
5. Handbook of Spatial Logics
پدیدآورنده : \ Edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
6. Handbook of logic and language
پدیدآورنده : ]edited by[ Johan van Benthem, Alice ter Meulen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Handbooks, manuals, etc ، Natural language processing )Computer science(,Handbooks, manuals, etc ، Logic, Symbolic and mathematical,Handbooks, manuals, etc ، Semantics
رده :
QA
76
.
9
.
N38H25
2011
7. Handbook of modal logic
پدیدآورنده : edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Handbooks, manuals, etc ، Modality )Logic(
رده :
BC
199
.
M6H36
2007
8. Handbook of modal logic /
پدیدآورنده : edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Modality (Logic), Handbooks, manuals, etc
رده :
BC199
.
M6
H36
2007
9. Handbook of spatial logics
پدیدآورنده : / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical.
10. Handbook of spatial logics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Logic symbolic and mathematical
رده :
QA
9
.
65
.
H32
2007
11. Interactive logic :
پدیدآورنده : edited by Johan van Benthem, Dov Gabbay, Benedikt Löwe
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Game theory, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA269
.
I58
2007
12. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
13. New Essays on the Knowability Paradox
پدیدآورنده : / Edited by Joe Salerno
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Paradox,پارادوکس
رده :
BC199
.
P2
,
N49
2009
14. New essays on the knowability paradox
پدیدآورنده : edited by Joe Salerno
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Paradox
رده :
BC199
.
P2
N49
2009
15. Philosophy of Information
پدیدآورنده : \ Edited By Pieter Adriaans and Johan Van Benthem
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : نظریه اطلاعات -- فلسفه
رده :
Q
360
.
P5
16. Philosophy of information
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Information theory-- Philosophy
رده :
Q
360
.
P48
2008
17. Philosophy of information
پدیدآورنده : edited by Pieter Adriaans and Johan van Benthem
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : Philosophy ، Information theory
18. Philosophy of information
پدیدآورنده : edited by Pieter Adriaans and Johan van Benthem
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Philosophy ، Information theory
رده :
Q
360
.
P45
19. Proof, computation and agency :
پدیدآورنده : edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
20. Readings in Formal Epistemology
پدیدآورنده : edited by Horacio Arl??-Costa, Vincent F. Hendricks, Johan van Benthem
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Knowledge, Theory of,Logic, Symbolic and mathematical,Game theory
رده :
EBOOK
,
BD
R4
161
